[INFO] cloning repository https://github.com/FeanorTheElf/FeanorLA
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/FeanorTheElf/FeanorLA" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFeanorTheElf%2FFeanorLA", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFeanorTheElf%2FFeanorLA'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 9242d6af51660a4cf9f4d96282752a416514c843
[INFO] checking FeanorTheElf/FeanorLA against master#e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682 for beta-170-4
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FFeanorTheElf%2FFeanorLA" "/workspace/builds/worker-6-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/FeanorTheElf/FeanorLA on toolchain e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/FeanorTheElf/FeanorLA
[INFO] finished tweaking git repo https://github.com/FeanorTheElf/FeanorLA
[INFO] tweaked toml for git repo https://github.com/FeanorTheElf/FeanorLA written to /workspace/builds/worker-6-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/FeanorTheElf/FeanorLA already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 3f49ddcb1f83e7d645b0bcf822ef75e7b88c54b20dfcbe419a2261de56beba36
[INFO] running `Command { std: "docker" "start" "-a" "3f49ddcb1f83e7d645b0bcf822ef75e7b88c54b20dfcbe419a2261de56beba36", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "3f49ddcb1f83e7d645b0bcf822ef75e7b88c54b20dfcbe419a2261de56beba36", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3f49ddcb1f83e7d645b0bcf822ef75e7b88c54b20dfcbe419a2261de56beba36", kill_on_drop: false }`
[INFO] [stdout] 3f49ddcb1f83e7d645b0bcf822ef75e7b88c54b20dfcbe419a2261de56beba36
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:19e73879b68f455e41552ea35293514db52ea292d993f571636dbffedb77a1ee" "/opt/rustwide/cargo-home/bin/cargo" "+e6e4f7ed1589e03bc2f6c5931c1a72e7947e8682" "check" "--frozen" "--all" "--all-targets" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 62821f33210cf8a124ebbfe680293caf56116635fe963eaa04d1d8c9807a8dd7
[INFO] running `Command { std: "docker" "start" "-a" "62821f33210cf8a124ebbfe680293caf56116635fe963eaa04d1d8c9807a8dd7", kill_on_drop: false }`
[INFO] [stderr]    Compiling libc v0.2.125
[INFO] [stderr]    Compiling proc-macro2 v1.0.38
[INFO] [stderr]    Compiling unicode-xid v0.2.3
[INFO] [stderr]    Compiling syn v1.0.93
[INFO] [stderr]     Checking oorandom v11.1.3
[INFO] [stderr]    Compiling quote v1.0.18
[INFO] [stderr]     Checking getrandom v0.1.16
[INFO] [stderr]     Checking rand_core v0.5.1
[INFO] [stderr]     Checking rand_chacha v0.2.2
[INFO] [stderr]     Checking rand v0.7.3
[INFO] [stderr]    Compiling contracts v0.4.0
[INFO] [stderr]     Checking vector-map v1.0.1
[INFO] [stderr]     Checking feanor_la v0.1.0 (/opt/rustwide/workdir)
[INFO] [stdout] warning: the feature `adt_const_params` is incomplete and may not be safe to use and/or cause compiler crashes
[INFO] [stdout]  --> src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(adt_const_params)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: see issue #95174 <https://github.com/rust-lang/rust/issues/95174> for more information
[INFO] [stdout]   = note: `#[warn(incomplete_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
[INFO] [stdout]  --> src/lib.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(generic_const_exprs)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: see issue #76560 <https://github.com/rust-lang/rust/issues/76560> for more information
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `specialization` is incomplete and may not be safe to use and/or cause compiler crashes
[INFO] [stdout]  --> src/lib.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(specialization)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
[INFO] [stdout]   = help: consider using `min_specialization` instead, which is more stable and complete
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::super::multiplication::karatsuba`
[INFO] [stdout]  --> src/poly/ops.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use super::super::multiplication::karatsuba;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `adt_const_params` is incomplete and may not be safe to use and/or cause compiler crashes
[INFO] [stdout]  --> src/lib.rs:1:12
[INFO] [stdout]   |
[INFO] [stdout] 1 | #![feature(adt_const_params)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: see issue #95174 <https://github.com/rust-lang/rust/issues/95174> for more information
[INFO] [stdout]   = note: `#[warn(incomplete_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `generic_const_exprs` is incomplete and may not be safe to use and/or cause compiler crashes
[INFO] [stdout]  --> src/lib.rs:2:12
[INFO] [stdout]   |
[INFO] [stdout] 2 | #![feature(generic_const_exprs)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: see issue #76560 <https://github.com/rust-lang/rust/issues/76560> for more information
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `specialization` is incomplete and may not be safe to use and/or cause compiler crashes
[INFO] [stdout]  --> src/lib.rs:3:12
[INFO] [stdout]   |
[INFO] [stdout] 3 | #![feature(specialization)]
[INFO] [stdout]   |            ^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: see issue #31844 <https://github.com/rust-lang/rust/issues/31844> for more information
[INFO] [stdout]   = help: consider using `min_specialization` instead, which is more stable and complete
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: unused import: `super::super::multiplication::karatsuba`
[INFO] [stdout]  --> src/poly/ops.rs:1:5
[INFO] [stdout]   |
[INFO] [stdout] 1 | use super::super::multiplication::karatsuba;
[INFO] [stdout]   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[INFO] [stdout]   |
[INFO] [stdout]   = note: `#[warn(unused_imports)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `bench_black_box` has been stable since 1.66.0 and no longer requires an attribute to enable
[INFO] [stdout]   --> src/lib.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | #![feature(bench_black_box)]
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] warning: the feature `bench_black_box` has been stable since 1.66.0 and no longer requires an attribute to enable
[INFO] [stdout]   --> src/lib.rs:11:12
[INFO] [stdout]    |
[INFO] [stdout] 11 | #![feature(bench_black_box)]
[INFO] [stdout]    |            ^^^^^^^^^^^^^^^
[INFO] [stdout]    |
[INFO] [stdout]    = note: `#[warn(stable_features)]` on by default
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<R as ring::RingExtension>::BaseRing: embedding::CanonicalIsomorphismInfo<StaticRingImpl<primitive::RingAxiomsEuclidean, i64>>` is not satisfied
[INFO] [stdout]   --> src/rational/mod.rs:11:28
[INFO] [stdout]    |
[INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R {}
[INFO] [stdout]    |                            ^^^^^^^^^^^^^ the trait `embedding::CanonicalIsomorphismInfo<StaticRingImpl<primitive::RingAxiomsEuclidean, i64>>` is not implemented for `<R as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required for `<&'a R as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]   --> src/integer/mod.rs:14:11
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub trait IntegerRing: OrderedRing + EuclideanInfoRing + CanonicalIsomorphismInfo<BigIntSOORing> + CanonicalIsomorphismInfo<StaticRing<i6...
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]   --> src/rational/mod.rs:9:50
[INFO] [stdout]    |
[INFO] [stdout] 9  | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]    |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R where <R as ring::RingExtension>::BaseRing: embedding::CanonicalIsomorphismInfo<StaticRingImpl<primitive::RingAxiomsEuclidean, i64>> {}
[INFO] [stdout]    |                                                    ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<R as ring::RingExtension>::BaseRing: embedding::CanonicalIsomorphismInfo<bigint_soo::BigIntSOORing>` is not satisfied
[INFO] [stdout]   --> src/rational/mod.rs:11:28
[INFO] [stdout]    |
[INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R {}
[INFO] [stdout]    |                            ^^^^^^^^^^^^^ the trait `embedding::CanonicalIsomorphismInfo<bigint_soo::BigIntSOORing>` is not implemented for `<R as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required for `<&'a R as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]   --> src/integer/mod.rs:14:11
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub trait IntegerRing: OrderedRing + EuclideanInfoRing + CanonicalIsomorphismInfo<BigIntSOORing> + CanonicalIsomorphismInfo<StaticRing<i6...
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]   --> src/rational/mod.rs:9:50
[INFO] [stdout]    |
[INFO] [stdout] 9  | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]    |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R where <R as ring::RingExtension>::BaseRing: embedding::CanonicalIsomorphismInfo<bigint_soo::BigIntSOORing> {}
[INFO] [stdout]    |                                                    ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<R as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/rational/mod.rs:11:28
[INFO] [stdout]     |
[INFO] [stdout] 11  | impl<'a, R: RationalField> RationalField for &'a R {}
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<R as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<R as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 11  | impl<'a, R: RationalField> RationalField for &'a R where <R as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator {}
[INFO] [stdout]     |                                                    +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<QType as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/elliptic_curve/rational_torsion_group.rs:9:18
[INFO] [stdout]     |
[INFO] [stdout] 9   |     where QType: RationalField + HashableElRing + SingletonRing, 
[INFO] [stdout]     |                  ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<QType as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<QType as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 10  |         QType::BaseRing: SingletonRing + UfdInfoRing + EuclideanInfoRing, <QType as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator
[INFO] [stdout]     |                                                                         +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<QType as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/elliptic_curve/rational_torsion_group.rs:9:18
[INFO] [stdout]     |
[INFO] [stdout] 9   |     where QType: RationalField + HashableElRing + SingletonRing, 
[INFO] [stdout]     |                  ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<QType as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<QType as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 21  |     ) where <QType as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator {
[INFO] [stdout]     |       +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<QType as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/elliptic_curve/rational_torsion_group.rs:9:18
[INFO] [stdout]     |
[INFO] [stdout] 9   |     where QType: RationalField + HashableElRing + SingletonRing, 
[INFO] [stdout]     |                  ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<QType as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<QType as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 70  |     pub fn torsion_group(&self) -> HashSet<EllipticCurvePoint<WrappingRing<QType>>> where <QType as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator {
[INFO] [stdout]     |                                                                                     +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/number_field.rs:10:137
[INFO] [stdout]     |
[INFO] [stdout] 10  | ...dImpl<BigIntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 10  | pub trait NumberField: Ring + CanonicalIsomorphismInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> + RingExtension<BaseRing: RationalField> where <<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator {
[INFO] [stdout]     |                                                                                                                                                        +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K where <K as ring::RingExtension>::BaseRing: rational::RationalField {
[INFO] [stdout]    |                                                                                                                  +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:29:13
[INFO] [stdout]    |
[INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K where <K as ring::RingExtension>::BaseRing: rational::RationalField {
[INFO] [stdout]    |                                                                                                                    +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:40:26
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K {
[INFO] [stdout]    |                          ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K where <K as ring::RingExtension>::BaseRing: rational::RationalField {
[INFO] [stdout]    |                                                +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: embedding::CanonicalIsomorphismInfo<StaticRingImpl<primitive::RingAxiomsField, primitive_rational::r64>>` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:40:26
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K {
[INFO] [stdout]    |                          ^^^^^^^^^^^ the trait `embedding::CanonicalIsomorphismInfo<StaticRingImpl<primitive::RingAxiomsField, primitive_rational::r64>>` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required for `<&'a K as ring::RingExtension>::BaseRing` to implement `rational::RationalField`
[INFO] [stdout]   --> src/rational/mod.rs:9:11
[INFO] [stdout]    |
[INFO] [stdout] 9  | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]    |           ^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K where <K as ring::RingExtension>::BaseRing: embedding::CanonicalIsomorphismInfo<StaticRingImpl<primitive::RingAxiomsField, primitive_rational::r64>> {
[INFO] [stdout]    |                                                ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/number_field.rs:40:26
[INFO] [stdout]     |
[INFO] [stdout] 40  | impl<'a, K: NumberField> NumberField for &'a K {
[INFO] [stdout]     |                          ^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<K as ring::RingExtension>::BaseRing` to implement `ring::RingExtension`
[INFO] [stdout]    --> src/ring_decorator.rs:119:9
[INFO] [stdout]     |
[INFO] [stdout] 119 | impl<R> RingExtension for R
[INFO] [stdout]     |         ^^^^^^^^^^^^^     ^
[INFO] [stdout] 120 |     where R: RingDecorator, R::DecoratedRing: RingExtension
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required for `<&'a K as ring::RingExtension>::BaseRing` to implement `fraction_field::FractionField`
[INFO] [stdout]    --> src/fraction_field/mod.rs:49:11
[INFO] [stdout]     |
[INFO] [stdout] 49  | pub trait FractionField: RingExtension {
[INFO] [stdout]     |           ^^^^^^^^^^^^^
[INFO] [stdout] note: required for `<&'a K as ring::RingExtension>::BaseRing` to implement `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:11
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |           ^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]    --> src/number_field.rs:10:137
[INFO] [stdout]     |
[INFO] [stdout] 10  | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 40  | impl<'a, K: NumberField> NumberField for &'a K where <K as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator {
[INFO] [stdout]     |                                                +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 20 |     fn has_embedding(&self, from: &FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>) -> RingPropValue where <K as ring::RingExtension>::BaseRing: rational::RationalField {
[INFO] [stdout]    |                                                                                                            +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 24 |     fn embed(&self, from: &FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>, el: El<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>>) -> El<Self> where <K as ring::RingExtension>::BaseRing: rational::RationalField {
[INFO] [stdout]    |                                                                                                                                                              +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:29:13
[INFO] [stdout]    |
[INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 31 |     fn has_isomorphism(&self, from: &FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>) -> RingPropValue where <K as ring::RingExtension>::BaseRing: rational::RationalField {
[INFO] [stdout]    |                                                                                                              +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:29:13
[INFO] [stdout]    |
[INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 35 |     fn preimage(&self, from: &FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>, el: El<Self>) -> El<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> where <K as ring::RingExtension>::BaseRing: rational::RationalField {
[INFO] [stdout]    |                                                                                                                                                                 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 42 |     fn is_number_field(&self) -> RingPropValue where <K as ring::RingExtension>::BaseRing: rational::RationalField { (**self).is_number_field() }
[INFO] [stdout]    |                                                +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 43 |     fn degree(&self) -> usize where <K as ring::RingExtension>::BaseRing: rational::RationalField { (**self).degree() }
[INFO] [stdout]    |                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 44 |     fn primitive_element(&self) -> El<Self> where <K as ring::RingExtension>::BaseRing: rational::RationalField { (**self).primitive_element() }
[INFO] [stdout]    |                                             +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 45 |     fn mipo(&self, el: &El<Self>) -> El<PolyRingImpl<<Self as RingExtension>::BaseRing>> where <K as ring::RingExtension>::BaseRing: rational::RationalField { (**self).mipo(el) }
[INFO] [stdout]    |                                                                                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/number_field.rs:10:137
[INFO] [stdout]     |
[INFO] [stdout] 10  | ...dImpl<BigIntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 12  |     fn is_number_field(&self) -> RingPropValue where <<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator;
[INFO] [stdout]     |                                                +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/number_field.rs:10:137
[INFO] [stdout]     |
[INFO] [stdout] 10  | ...dImpl<BigIntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 13  |     fn degree(&self) -> usize where <<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator;
[INFO] [stdout]     |                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/number_field.rs:10:137
[INFO] [stdout]     |
[INFO] [stdout] 10  | ...dImpl<BigIntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 14  |     fn primitive_element(&self) -> El<Self> where <<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator;
[INFO] [stdout]     |                                             +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/number_field.rs:10:137
[INFO] [stdout]     |
[INFO] [stdout] 10  | ...dImpl<BigIntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 15  |     fn mipo(&self, el: &El<Self>) -> El<PolyRingImpl<<Self as RingExtension>::BaseRing>> where <<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator;
[INFO] [stdout]     |                                                                                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 24 previous errors; 5 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `feanor_la` (lib) due to 25 previous errors; 5 warnings emitted
[INFO] [stderr] warning: build failed, waiting for other jobs to finish...
[INFO] [stdout] error[E0277]: the trait bound `<R as ring::RingExtension>::BaseRing: embedding::CanonicalIsomorphismInfo<StaticRingImpl<primitive::RingAxiomsEuclidean, i64>>` is not satisfied
[INFO] [stdout]   --> src/rational/mod.rs:11:28
[INFO] [stdout]    |
[INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R {}
[INFO] [stdout]    |                            ^^^^^^^^^^^^^ the trait `embedding::CanonicalIsomorphismInfo<StaticRingImpl<primitive::RingAxiomsEuclidean, i64>>` is not implemented for `<R as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required for `<&'a R as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]   --> src/integer/mod.rs:14:11
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub trait IntegerRing: OrderedRing + EuclideanInfoRing + CanonicalIsomorphismInfo<BigIntSOORing> + CanonicalIsomorphismInfo<StaticRing<i6...
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]   --> src/rational/mod.rs:9:50
[INFO] [stdout]    |
[INFO] [stdout] 9  | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]    |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R where <R as ring::RingExtension>::BaseRing: embedding::CanonicalIsomorphismInfo<StaticRingImpl<primitive::RingAxiomsEuclidean, i64>> {}
[INFO] [stdout]    |                                                    ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<R as ring::RingExtension>::BaseRing: embedding::CanonicalIsomorphismInfo<bigint_soo::BigIntSOORing>` is not satisfied
[INFO] [stdout]   --> src/rational/mod.rs:11:28
[INFO] [stdout]    |
[INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R {}
[INFO] [stdout]    |                            ^^^^^^^^^^^^^ the trait `embedding::CanonicalIsomorphismInfo<bigint_soo::BigIntSOORing>` is not implemented for `<R as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required for `<&'a R as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]   --> src/integer/mod.rs:14:11
[INFO] [stdout]    |
[INFO] [stdout] 14 | pub trait IntegerRing: OrderedRing + EuclideanInfoRing + CanonicalIsomorphismInfo<BigIntSOORing> + CanonicalIsomorphismInfo<StaticRing<i6...
[INFO] [stdout]    |           ^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]   --> src/rational/mod.rs:9:50
[INFO] [stdout]    |
[INFO] [stdout] 9  | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]    |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 11 | impl<'a, R: RationalField> RationalField for &'a R where <R as ring::RingExtension>::BaseRing: embedding::CanonicalIsomorphismInfo<bigint_soo::BigIntSOORing> {}
[INFO] [stdout]    |                                                    ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<R as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/rational/mod.rs:11:28
[INFO] [stdout]     |
[INFO] [stdout] 11  | impl<'a, R: RationalField> RationalField for &'a R {}
[INFO] [stdout]     |                            ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<R as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<R as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 11  | impl<'a, R: RationalField> RationalField for &'a R where <R as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator {}
[INFO] [stdout]     |                                                    +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<QType as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/elliptic_curve/rational_torsion_group.rs:9:18
[INFO] [stdout]     |
[INFO] [stdout] 9   |     where QType: RationalField + HashableElRing + SingletonRing, 
[INFO] [stdout]     |                  ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<QType as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<QType as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 10  |         QType::BaseRing: SingletonRing + UfdInfoRing + EuclideanInfoRing, <QType as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator
[INFO] [stdout]     |                                                                         +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<QType as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/elliptic_curve/rational_torsion_group.rs:9:18
[INFO] [stdout]     |
[INFO] [stdout] 9   |     where QType: RationalField + HashableElRing + SingletonRing, 
[INFO] [stdout]     |                  ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<QType as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<QType as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 21  |     ) where <QType as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator {
[INFO] [stdout]     |       +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<QType as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/elliptic_curve/rational_torsion_group.rs:9:18
[INFO] [stdout]     |
[INFO] [stdout] 9   |     where QType: RationalField + HashableElRing + SingletonRing, 
[INFO] [stdout]     |                  ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<QType as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<QType as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 70  |     pub fn torsion_group(&self) -> HashSet<EllipticCurvePoint<WrappingRing<QType>>> where <QType as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator {
[INFO] [stdout]     |                                                                                     +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/number_field.rs:10:137
[INFO] [stdout]     |
[INFO] [stdout] 10  | ...dImpl<BigIntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 10  | pub trait NumberField: Ring + CanonicalIsomorphismInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> + RingExtension<BaseRing: RationalField> where <<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator {
[INFO] [stdout]     |                                                                                                                                                        +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K where <K as ring::RingExtension>::BaseRing: rational::RationalField {
[INFO] [stdout]    |                                                                                                                  +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:29:13
[INFO] [stdout]    |
[INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K where <K as ring::RingExtension>::BaseRing: rational::RationalField {
[INFO] [stdout]    |                                                                                                                    +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:40:26
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K {
[INFO] [stdout]    |                          ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K where <K as ring::RingExtension>::BaseRing: rational::RationalField {
[INFO] [stdout]    |                                                +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: embedding::CanonicalIsomorphismInfo<StaticRingImpl<primitive::RingAxiomsField, primitive_rational::r64>>` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:40:26
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K {
[INFO] [stdout]    |                          ^^^^^^^^^^^ the trait `embedding::CanonicalIsomorphismInfo<StaticRingImpl<primitive::RingAxiomsField, primitive_rational::r64>>` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required for `<&'a K as ring::RingExtension>::BaseRing` to implement `rational::RationalField`
[INFO] [stdout]   --> src/rational/mod.rs:9:11
[INFO] [stdout]    |
[INFO] [stdout] 9  | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]    |           ^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K where <K as ring::RingExtension>::BaseRing: embedding::CanonicalIsomorphismInfo<StaticRingImpl<primitive::RingAxiomsField, primitive_rational::r64>> {
[INFO] [stdout]    |                                                ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/number_field.rs:40:26
[INFO] [stdout]     |
[INFO] [stdout] 40  | impl<'a, K: NumberField> NumberField for &'a K {
[INFO] [stdout]     |                          ^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<K as ring::RingExtension>::BaseRing` to implement `ring::RingExtension`
[INFO] [stdout]    --> src/ring_decorator.rs:119:9
[INFO] [stdout]     |
[INFO] [stdout] 119 | impl<R> RingExtension for R
[INFO] [stdout]     |         ^^^^^^^^^^^^^     ^
[INFO] [stdout] 120 |     where R: RingDecorator, R::DecoratedRing: RingExtension
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required for `<&'a K as ring::RingExtension>::BaseRing` to implement `fraction_field::FractionField`
[INFO] [stdout]    --> src/fraction_field/mod.rs:49:11
[INFO] [stdout]     |
[INFO] [stdout] 49  | pub trait FractionField: RingExtension {
[INFO] [stdout]     |           ^^^^^^^^^^^^^
[INFO] [stdout] note: required for `<&'a K as ring::RingExtension>::BaseRing` to implement `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:11
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |           ^^^^^^^^^^^^^
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]    --> src/number_field.rs:10:137
[INFO] [stdout]     |
[INFO] [stdout] 10  | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]     |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 40  | impl<'a, K: NumberField> NumberField for &'a K where <K as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator {
[INFO] [stdout]     |                                                +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 20 |     fn has_embedding(&self, from: &FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>) -> RingPropValue where <K as ring::RingExtension>::BaseRing: rational::RationalField {
[INFO] [stdout]    |                                                                                                            +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:18:13
[INFO] [stdout]    |
[INFO] [stdout] 18 | impl<'a, K: NumberField> CanonicalEmbeddingInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 24 |     fn embed(&self, from: &FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>, el: El<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>>) -> El<Self> where <K as ring::RingExtension>::BaseRing: rational::RationalField {
[INFO] [stdout]    |                                                                                                                                                              +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:29:13
[INFO] [stdout]    |
[INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 31 |     fn has_isomorphism(&self, from: &FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>) -> RingPropValue where <K as ring::RingExtension>::BaseRing: rational::RationalField {
[INFO] [stdout]    |                                                                                                              +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:29:13
[INFO] [stdout]    |
[INFO] [stdout] 29 | impl<'a, K: NumberField> CanonicalIsomorphismInfo<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 35 |     fn preimage(&self, from: &FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>, el: El<Self>) -> El<FiniteExtensionImpl<FractionFieldImpl<BigIntSOORing>>> where <K as ring::RingExtension>::BaseRing: rational::RationalField {
[INFO] [stdout]    |                                                                                                                                                                 +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 42 |     fn is_number_field(&self) -> RingPropValue where <K as ring::RingExtension>::BaseRing: rational::RationalField { (**self).is_number_field() }
[INFO] [stdout]    |                                                +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 43 |     fn degree(&self) -> usize where <K as ring::RingExtension>::BaseRing: rational::RationalField { (**self).degree() }
[INFO] [stdout]    |                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 44 |     fn primitive_element(&self) -> El<Self> where <K as ring::RingExtension>::BaseRing: rational::RationalField { (**self).primitive_element() }
[INFO] [stdout]    |                                             +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<K as ring::RingExtension>::BaseRing: rational::RationalField` is not satisfied
[INFO] [stdout]   --> src/number_field.rs:40:13
[INFO] [stdout]    |
[INFO] [stdout] 40 | impl<'a, K: NumberField> NumberField for &'a K {
[INFO] [stdout]    |             ^^^^^^^^^^^ the trait `rational::RationalField` is not implemented for `<K as ring::RingExtension>::BaseRing`
[INFO] [stdout]    |
[INFO] [stdout] note: required by a bound in `NumberField`
[INFO] [stdout]   --> src/number_field.rs:10:137
[INFO] [stdout]    |
[INFO] [stdout] 10 | ...IntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]    |                                            ^^^^^^^^^^^^^ required by this bound in `NumberField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]    |
[INFO] [stdout] 45 |     fn mipo(&self, el: &El<Self>) -> El<PolyRingImpl<<Self as RingExtension>::BaseRing>> where <K as ring::RingExtension>::BaseRing: rational::RationalField { (**self).mipo(el) }
[INFO] [stdout]    |                                                                                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/number_field.rs:10:137
[INFO] [stdout]     |
[INFO] [stdout] 10  | ...dImpl<BigIntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 12  |     fn is_number_field(&self) -> RingPropValue where <<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator;
[INFO] [stdout]     |                                                +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/number_field.rs:10:137
[INFO] [stdout]     |
[INFO] [stdout] 10  | ...dImpl<BigIntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 13  |     fn degree(&self) -> usize where <<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator;
[INFO] [stdout]     |                               +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/number_field.rs:10:137
[INFO] [stdout]     |
[INFO] [stdout] 10  | ...dImpl<BigIntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 14  |     fn primitive_element(&self) -> El<Self> where <<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator;
[INFO] [stdout]     |                                             +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error[E0277]: the trait bound `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator` is not satisfied
[INFO] [stdout]    --> src/number_field.rs:10:137
[INFO] [stdout]     |
[INFO] [stdout] 10  | ...dImpl<BigIntSOORing>>> + RingExtension<BaseRing: RationalField> {
[INFO] [stdout]     |                                                     ^^^^^^^^^^^^^ the trait `ring_decorator::RingDecorator` is not implemented for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing`
[INFO] [stdout]     |
[INFO] [stdout] note: required for `<<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing` to implement `integer::IntegerRing`
[INFO] [stdout]    --> src/integer/mod.rs:205:13
[INFO] [stdout]     |
[INFO] [stdout] 205 | impl<'a, R> IntegerRing for R 
[INFO] [stdout]     |             ^^^^^^^^^^^     ^
[INFO] [stdout] 206 |     where R: RingDecorator, R::DecoratedRing: IntegerRing
[INFO] [stdout]     |              ------------- unsatisfied trait bound introduced here
[INFO] [stdout] note: required by a bound in `rational::RationalField`
[INFO] [stdout]    --> src/rational/mod.rs:9:50
[INFO] [stdout]     |
[INFO] [stdout] 9   | pub trait RationalField: FractionField<BaseRing: IntegerRing> + CanonicalIsomorphismInfo<StaticRing<r64>> {}
[INFO] [stdout]     |                                                  ^^^^^^^^^^^ required by this bound in `RationalField`
[INFO] [stdout] help: consider further restricting the associated type
[INFO] [stdout]     |
[INFO] [stdout] 15  |     fn mipo(&self, el: &El<Self>) -> El<PolyRingImpl<<Self as RingExtension>::BaseRing>> where <<Self as ring::RingExtension>::BaseRing as ring::RingExtension>::BaseRing: ring_decorator::RingDecorator;
[INFO] [stdout]     |                                                                                          +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] error: aborting due to 24 previous errors; 5 warnings emitted
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] For more information about this error, try `rustc --explain E0277`.
[INFO] [stdout] 
[INFO] [stderr] error: could not compile `feanor_la` (lib test) due to 25 previous errors; 5 warnings emitted
[INFO] running `Command { std: "docker" "inspect" "62821f33210cf8a124ebbfe680293caf56116635fe963eaa04d1d8c9807a8dd7", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "62821f33210cf8a124ebbfe680293caf56116635fe963eaa04d1d8c9807a8dd7", kill_on_drop: false }`
[INFO] [stdout] 62821f33210cf8a124ebbfe680293caf56116635fe963eaa04d1d8c9807a8dd7
